Section: Partnerships and Cooperations
ANR Projects within Academics
ProSe: Security protocols : formal model, computational model, and implementations.
Participant : David Pointcheval.
From December 2010 to November 2014.
Partners: ENS Cachan-Inria/Secsi, LORIA-Inria/Cassis, Inria/Prosecco, Verimag.
The goal of the project is to increase the confidence in security protocols, and in order to reach this goal, provide security proofs at three levels: the symbolic level, in which messages are terms; the computational level, in which messages are bitstrings; the implementation level: the program itself.
ROMAnTIC: Randomness in Mathematical Cryptography.
Participant : Damien Vergnaud.
From October 2012 to September 2016.
Partners: ANSSI, Univ. Paris 7, Univ. Paris 8.
The goal of this project is to get a better understanding of the interplay between randomness and cryptography and to study the security of various cryptographic protocols at different levels (information-theoretic and computational security, number-theoretic assumptions, design and provable security of new and existing constructions).